1. Finite and Algorithmic Model Theory
پدیدآورنده: / Esparza/Michaux/Steinhorn
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: METHODS&COMPUTER SCIENCE, THEORY
رده :
E-BOOK
2. Finite and algorithmic model theory
پدیدآورنده: / edited by Javier Esparza, Christian Michaux, Charles Steinhorn
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Finite model theory.,Computer science--Mathematics
رده :
QA
,
9
.
7
,.
F565
,
2011
3. Finite and algorithmic model theory
پدیدآورنده: edited by Javier Esparza, Christian Michaux, Charles Steinhorn
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع: ، Finite model theory,Mathematics ، Computer science
رده :
QA
9
.
7
.
F565
2011
4. Finite and algorithmic model theory
پدیدآورنده: edited by Javier Esparza, Christian Michaux, Charles Steinhorn
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Finite model theory,، Computer science -- Mathematics
رده :
QA
9
.
7
.
F562
